d-decl(D;i) == w-action-dec(i,a. M(i).da(locl(a));l,tg. M(source(l)).dout(l,tg);i) 

latex

---

clarification:

d-decl(D;i) == w-action-dec(i,a. d-m(D; i).da(locl(a));l,tg. d-m(D; source(l)).dout(l,tg);i) 

latex

Definitions	w-action-dec(TA;M;i), M.da(a), locl(a), M.dout(l,tg), M(i), source(l)
FDL editor aliases	d-decl